[IA64] vcpu_set_psr added and used by vcpu_rfi.
authorAlex Williamson <alex.williamson@hp.com>
Thu, 31 May 2007 17:05:33 +0000 (11:05 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Thu, 31 May 2007 17:05:33 +0000 (11:05 -0600)
commite3ce44eeda82ebc799e9154f218dbf9ae9ca304d
tree8f23b15ddf462645a8e148b78e54f894359f2d17
parent952fa991be0a4fcf220c214f8a2f3cb295d2285c
[IA64] vcpu_set_psr added and used by vcpu_rfi.

Signed-off-by: Tristan Gingold <tgingold@free.fr>
xen/arch/ia64/xen/vcpu.c